And use it elsewhere.
https://bugzilla.gnome.org/show_bug.cgi?id=689653
this._select(this._selectedIndex, n);
},
- _finish : function() {
+ _finish : function(timestamp) {
this.parent();
let appIcon = this._items[this._selectedIndex];
window = appIcon.cachedWindows[this._currentWindow];
else
window = null;
- appIcon.app.activate_window(window, global.get_current_time());
+ appIcon.app.activate_window(window, timestamp);
},
_onDestroy : function() {
}
},
- focusGroup: function(item) {
+ focusGroup: function(item, timestamp) {
if (item.window) {
- Main.activateWindow(item.window);
+ Main.activateWindow(item.window, timestamp);
} else if (item.focusCallback) {
- item.focusCallback();
+ item.focusCallback(timestamp);
} else {
if (global.stage_input_mode == Shell.StageInputMode.NONREACTIVE ||
global.stage_input_mode == Shell.StageInputMode.NORMAL)
this._select(this._next());
},
- _finish : function() {
- this.parent();
- Main.ctrlAltTabManager.focusGroup(this._items[this._selectedIndex]);
+ _finish : function(time) {
+ this.parent(time);
+ Main.ctrlAltTabManager.focusGroup(this._items[this._selectedIndex], time);
},
});
// selection.)
let [x, y, mods] = global.get_pointer();
if (!(mods & this._modifierMask)) {
- this._finish();
+ this._finish(global.get_current_time());
return false;
}
let state = mods & this._modifierMask;
if (state == 0)
- this._finish();
+ this._finish(event.get_time());
return true;
},
_itemActivated: function(switcher, n) {
this._itemActivatedHandler(n);
- this._finish();
+ this._finish(global.get_current_time());
},
_itemEnteredHandler: function(n) {
this.actor.destroy();
},
- _finish: function() {
+ _finish: function(timestamp) {
this.destroy();
},